'a -> ('s, 'a) store
